structure A =
struct
  val pairMeta
      : ['a#{A: 'b}, 'b, 'c#{B:int}.
         'a * 'c -> unit
        ]
end
